Finding a subdivision of a digraph

نویسندگان

  • Jørgen Bang-Jensen
  • Frédéric Havet
  • Ana Karolinna Maia
چکیده

We consider the following problem for oriented graphs and digraphs: Given a directed graphD, does it contain a subdivision of a prescribed digraph F? We give a number of examples of polynomial instances, several NP-completeness proofs as well as a number of conjectures and open problems. Key-words: NP-completeness, 2-linkage, flows, DAG and handle decompositions. ∗ Department of Mathematics and Computer Science, University of Southern Denmark, Odense DK-5230, Denmark (email: [email protected]). † Most of this work was done while J. Bang-Jensen visited Projet Mascotte, I3S (CNRS, UNSA) and INRIA, Sophia Antipolis whose hospitality and financial support is gratefully acknowledged. ‡ Projet Mascotte, I3S (CNRS, UNSA) and INRIA, Sophia Antipolis. Partly supported by ANR Blanc AGAPE and CAPES/Brazil. (email:[frederic.havet, karol.maia]@inria.fr) Trouver une subdivision d’un digraphe Résumé : Nous considérons le problème suivant: étant donné un graphe orientéD, contient-il une subdivision d’un digraphe fixé F? Nous donnons des exemples d’instances polynomiales, plusieurs preuves de NP-complétude ainsi qu’un certain nombre de conjectures et de problèmes ouverts. Mots-clés : NP-complétude, 2-linkage, Flots, décompositions en DAG et en oreilles. Finding a subdivision of a digraph 3

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Finding an induced subdivision of a digraph

We consider the following problem for oriented graphs and digraphs: Given an oriented graph (digraph) G, does it contain an induced subdivision of a prescribed digraph D? The complexity of this problem depends on D and on whether H must be an oriented graph or is allowed to contain 2-cycles. We give a number of examples of polynomial instances as well as several NP-completeness proofs. Key-word...

متن کامل

A note on complete subdivisions in digraphs of large outdegree

Mader conjectured that for all ` there is an integer δ(`) such that every digraph of minimum outdegree at least δ(`) contains a subdivision of a transitive tournament of order `. In this note we observe that if the minimum outdegree of a digraph is sufficiently large compared to its order then one can even guarantee a subdivision of a large complete digraph. More precisely, let ~ G be a digraph...

متن کامل

On the complexity of finding internally vertex-disjoint long directed paths

For two positive integers k and `, a (k × `)-spindle is the union of k pairwise internally vertexdisjoint directed paths with ` arcs between two vertices u and v. We are interested in the (parameterized) complexity of several problems consisting in deciding whether a given digraph contains a subdivision of a spindle, which generalize both the Maximum Flow and Longest Path problems. We obtain th...

متن کامل

Subdivisions in digraphs of large out-degree or large dichromatic number∗

In 1985, Mader conjectured the existence of a function f such that every digraph with minimum out-degree at least f(k) contains a subdivision of the transitive tournament of order k. This conjecture is still completely open, as the existence of f(5) remains unknown. In this paper, we show that if D is an oriented path, or an in-arborescence (i.e., a tree with all edges oriented towards the root...

متن کامل

Tournament pathwidth and topological containment

We prove that for every set S of tournaments the following are equivalent: • there exists k such that every member of S has pathwidth at most k • there is a digraph H such that no subdivision of H is a subdigraph of any member of S • there exists k such that for each T ∈ S, there do not exist k vertices of T that are pairwise k-connected. As a consequence, we obtain a polynomial-time algorithm ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Theor. Comput. Sci.

دوره 562  شماره 

صفحات  -

تاریخ انتشار 2015